A Definitional Approach to KBS Construction*
نویسنده
چکیده
A definitional approach to the construction of knowledge-based systems is presented. The notions of a knowledge base and the logical interface of a knowledge base are discussed.
منابع مشابه
Semi-automatic Construction of a Reasoning Model
Knowledge acquisition researches propose methodologies for knowledge based system (KBS) development. They advocate to build one or several models of problem solving capabilities of the future KBS. Our aim is to present a tool that assists the construction of a KBS problem solving model. This tool can be used in the MACAO methodology, which proposes primitives of modelling and guidelines to cons...
متن کاملAction Theories over Generalized Databases with Equality Constraints
Situation calculus action theories allow full first-order expressiveness but, typically, restricted cases are studied such that projection or progression become decidable or first-order, respectively, and computationally feasible. In this work we focus on KBs that are specified as generalized databases with equality constraints, thus able to finitely represent complete information over possibly...
متن کاملA Joint Model for Question Answering over Multiple Knowledge Bases
As the amount of knowledge bases (KBs) grows rapidly, the problem of question answering (QA) over multiple KBs has drawn more attention. The most significant distinction between multiple KB-QA and single KB-QA is that the former must consider the alignments between KBs. The pipeline strategy first constructs the alignments independently, and then uses the obtained alignments to construct querie...
متن کاملKI-Zeitschrift - Auszug als Leseprobe
There are problems related to the considerable number of supporting references to be included in the construction of a KBS: • The knowledge of the expert (even if considerable) is not necessarily well defined. The user requirements for a KBS are then ill-defined [1]; • A text approach is sometimes the only way to express the knowledge of the expert; it is then difficult to verify the consistenc...
متن کاملAction Theories over Generalized Databases with Equality Constraints (Extended Abstract)
In this work we study action theories of the situation calculus such that the initial KB is a generalized database with equality constraints (GFDBs). We show that GFDBs characterize the class of definitional KBs and that they are closed under progression. We also show that, under conditions, generalized projection queries can be decided based on an induced transition system and evaluation of lo...
متن کامل